2

Semantics for classical AUTOMATH and related systems

Year:
1983
Language:
english
File:
PDF, 713 KB
english, 1983
4

Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types

Year:
2015
Language:
english
File:
PDF, 425 KB
english, 2015